--- Test for 'https://github.com/Frege/frege/issues/102 issue 102'
module tests.nocomp.Issue102 where

--- the following data definition is forbidden
--- compiler must complain about non-introduced type variable "int"

data Wrong = Falsch int

--- otherwise, the following would be possible:

main = println (foo (Falsch 42))  -- ClassCastException Integer -> String
    where
        foo :: Wrong -> String
        foo (Falsch s) = s
